Complexity of constraint satisfaction - PDFSEARCH.IO - Document Search Engine

Complexity of constraint satisfaction
Results: 53

#	Item
21	Constraints DOIs10601The Complexity of Reasoning with Global Constraints Christian Bessiere · Emmanuel Hebrard · Brahim Hnich · Toby Walsh Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2010-11-22 06:22:29 Applied mathematics Mathematical optimization Local consistency Constraint satisfaction NP-complete Computational complexity theory P versus NP problem NP Complexity of constraint satisfaction Constraint programming Theoretical computer science Complexity classes
22	On Backdoors To Tractable Constraint Languages Clement Carbonnel1,3 , Martin C. Cooper2 , and Emmanuel Hebrard1 1 3 Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2014-05-28 03:24:32 Applied mathematics Parameterized complexity Constraint satisfaction problem Constraint satisfaction Idempotence Local consistency P versus NP problem Sheaf Complexity of constraint satisfaction Constraint programming Mathematics Theoretical computer science
23	Journal of Artificial Intelligence Research Submitted 10/10; publishedSoft Constraints of Difference and Equality Emmanuel Hebrard Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2011-06-09 12:13:27 Computer programming Local consistency Constraint satisfaction Mathematical optimization FO Polynomial Parameterized complexity Decomposition method AC-3 algorithm Constraint programming Software engineering Theoretical computer science
24	Quality Guarantees on k-Optimal Solutions for Distributed Constraint Optimization Problems Jonathan P. Pearce and Milind Tambe∗ University of Southern California Computer Science Department {, tambe@usc Add to Reading List Source URL: teamcore.usc.edu Language: English - Date: 2008-10-14 04:00:37 Applied mathematics Operations research Distributed constraint optimization Convex optimization Computational complexity theory Constraint satisfaction problem Linear programming Constraint optimization Combinatorial optimization Constraint programming Mathematical optimization Theoretical computer science
25	Unifying Cluster-Tree Decompositions for Reasoning in Graphical models∗ Kalev Kask∗ , Rina Dechter∗ , Javier Larrosa∗∗ and Avi Dechter∗∗∗ ∗ Bren School of Information and Computer Science, Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2005-04-17 02:08:23 Constraint graph Tree decomposition Bayesian network Graphical model Constraint satisfaction Directed acyclic graph Graph Local consistency Complexity of constraint satisfaction Graph theory Constraint programming Decomposition method
26	The Complexity of Global Constraints Christian Bessiere Emmanuel Hebrard and Brahim Hnich and Toby Walsh∗ LIRMM Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2010-11-22 06:22:27 Computer programming Local consistency Constraint satisfaction Constraint logic programming Co-NP-complete NP-complete Decomposition method Complexity of constraint satisfaction Constraint programming Software engineering Theoretical computer science
27	Journal of Artificial Intelligence Research234 Submitted 8/14; published 1/15 On the Subexponential-Time Complexity of CSP Ronald de Haan Add to Reading List Source URL: www.jair.org Language: English - Date: 2015-01-30 21:27:29 Constraint programming Constraint satisfaction problem Constraint satisfaction Exponential time hypothesis Boolean satisfiability problem NP-complete Tree decomposition Conjunctive normal form Time complexity Theoretical computer science Applied mathematics Computational complexity theory
28	A Survey of Automated Timetabling A. Schaerf Dipartimento di Informatica e Sistemistica Universit` a di Roma “La Sapienza” Add to Reading List Source URL: www.diegm.uniud.it Language: English - Date: 2008-12-11 12:42:16 Mathematical optimization Operations research Search algorithms Complexity classes Combinatorial optimization Genetic algorithm Optimization problem Constraint satisfaction NP-complete Theoretical computer science Applied mathematics Computational complexity theory
29	Combining Constraint Propagation and Discrete Ellipsoid-Based Search to Solve the Exact Quadratic Knapsack Problem Wen-Yang Ku and J. Christopher Beck Department of Mechanical & Industrial Engineering University of Toron Add to Reading List Source URL: tidel.mie.utoronto.ca Language: English - Date: 2015-01-28 09:11:33 Computational complexity theory Mathematical optimization Constraint programming Quadratic programming Linear programming Semidefinite programming Local consistency Knapsack problem Constraint satisfaction Operations research Theoretical computer science Applied mathematics
30	Policy Driven Heterogeneous Resource Co-Allocation with Gangmatching Rajesh Raman, Miron Livny and Marvin Solomon {raman, miron, solomon}@cs.wisc.edu University of Wisconsin 1210 West Dayton Street Madison, WI 53706 Add to Reading List Source URL: research.cs.wisc.edu Language: English - Date: 2012-10-24 18:42:11 Analysis of algorithms Constraint programming Dating Marriage Matchmaking Algorithm Distributed computing Time complexity Constraint satisfaction problem Theoretical computer science Applied mathematics Computer science